export type AllUnionFields<Union> = [Union] extends [NonRecursiveType | ReadonlyMap<unknown, unknown> | ReadonlySet<unknown> | UnknownArray]
	? Union
	: Simplify<
	SharedUnionFields<Union> &
	{
		readonly [P in ReadonlyKeysOfUnion<Union>]?: ValueOfUnion<Union, P>;
	} & {
		[P in Exclude<KeysOfUnion<Union>, ReadonlyKeysOfUnion<Union> | keyof Union>]?: ValueOfUnion<Union, P>;
	}
	>;

type ValueOfUnion<Union, Key> = Union extends unknown ? Key extends keyof Union ? Union[Key] : never : never;

type ReadonlyKeysOfUnion<T> = T extends unknown ? keyof {
	[P in keyof T as IsEqual<{[Q in P]: T[P]}, {readonly [Q in P]: T[P]}> extends true ? P : never]: never
} : never;